discrete reasoning

un. 离散逻辑推理
[网络] 离散推理